Game semantics

Results: 71



#Item
11A Game Semantics for a Non-Classical Logic Can BAS ¸ KENT INRIA, Nancy

A Game Semantics for a Non-Classical Logic Can BAS ¸ KENT INRIA, Nancy

Add to Reading List

Source URL: canbaskent.net

- Date: 2014-03-06 23:49:53
    12Game Semantics: A Paraconsistent Approach Can BAS ¸ KENT INRIA, Nancy

    Game Semantics: A Paraconsistent Approach Can BAS ¸ KENT INRIA, Nancy

    Add to Reading List

    Source URL: canbaskent.net

    - Date: 2014-03-06 23:49:26
      13On Interaction, Continuations and Defunctionalization? Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Germany   Abstract. In game semantics and related approaches to programming lang

      On Interaction, Continuations and Defunctionalization? Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Germany Abstract. In game semantics and related approaches to programming lang

      Add to Reading List

      Source URL: www2.tcs.ifi.lmu.de

      - Date: 2013-12-29 05:47:05
        14Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int

        Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int

        Add to Reading List

        Source URL: www2.tcs.ifi.lmu.de

        - Date: 2014-09-02 06:12:08
          15A GAME-BASED APPROACH FOR COLLECTING SEMANTIC ANNOTATIONS OF MUSIC Douglas Turnbull1 , Ruoran Liu1 , Luke Barrington2 , Gert Lanckriet2 Dept. of Computer Science and Engineering1 Dept. of Electrical and Computer Engineer

          A GAME-BASED APPROACH FOR COLLECTING SEMANTIC ANNOTATIONS OF MUSIC Douglas Turnbull1 , Ruoran Liu1 , Luke Barrington2 , Gert Lanckriet2 Dept. of Computer Science and Engineering1 Dept. of Electrical and Computer Engineer

          Add to Reading List

          Source URL: eceweb.ucsd.edu

          Language: English - Date: 2015-07-31 19:00:28
          16Emergent Semantics from Game-induced Folksonomies ∗ Lilian Weng and Filippo Menczer Center for Complex Networks and Systems Research School of Informatics and Computing, Indiana University, Bloomington

          Emergent Semantics from Game-induced Folksonomies ∗ Lilian Weng and Filippo Menczer Center for Complex Networks and Systems Research School of Informatics and Computing, Indiana University, Bloomington

          Add to Reading List

          Source URL: lilianweng.github.io

          Language: English - Date: 2015-11-03 14:25:52
          17Story Representation in Analogy-Based Story Generation in Riu Jichen Zhu and Santiago Onta˜no´ n Abstract— Computational analogy offers a promising direction to algorithmically generating stories, a key challenge in

          Story Representation in Analogy-Based Story Generation in Riu Jichen Zhu and Santiago Onta˜no´ n Abstract— Computational analogy offers a promising direction to algorithmically generating stories, a key challenge in

          Add to Reading List

          Source URL: game.itu.dk

          Language: English - Date: 2010-08-10 12:41:00
          18Game-Theoretic Semantics for Alternating-Time Temporal Logic arXiv:1602.07667v1 [math.LO] 24 FebValentin Goranko1

          Game-Theoretic Semantics for Alternating-Time Temporal Logic arXiv:1602.07667v1 [math.LO] 24 FebValentin Goranko1

          Add to Reading List

          Source URL: www.informatik.uni-bremen.de

          Language: English - Date: 2016-05-03 02:41:58
            19Timing in Episodic Memory for Virtual Characters Cyril Brom, Ondřej Burkert, and Rudolf Kadlec Abstract—Recently several episodic memory models have been developed for virtual characters to increase their believabilit

            Timing in Episodic Memory for Virtual Characters Cyril Brom, Ondřej Burkert, and Rudolf Kadlec Abstract—Recently several episodic memory models have been developed for virtual characters to increase their believabilit

            Add to Reading List

            Source URL: game.itu.dk

            Language: English - Date: 2010-08-10 12:41:00
            20Power in Normative Systems Thomas Ågotnes† Wiebe van der Hoek‡ Moshe Tennenholtz∗ Michael Wooldridge‡ † ‡

            Power in Normative Systems Thomas Ågotnes† Wiebe van der Hoek‡ Moshe Tennenholtz∗ Michael Wooldridge‡ † ‡

            Add to Reading List

            Source URL: folk.uib.no

            Language: English - Date: 2009-05-24 05:56:14